منابع مشابه
Sequence analysis IgSimulator: a versatile immunosequencing simulator
Motivation: The recent introduction of next-generation sequencing technologies to antibody studies have resulted in a growing number of immunoinformatics tools for antibody repertoire analysis. However, benchmarking these newly emerging tools remains problematic since the gold standard datasets that are needed to validate these tools are typically not available. Results: Since simulating antibo...
متن کاملDNA Sequence Fragment Containing C to A Mutation as a Convenient Mutation Standard for DHPLC Analysis
Objective(s): Denaturing high performance liquid chromatography (DHPLC) is a high throughput approach for screening DNA sequence variations. To assess oven calibration, cartridge performance, buffer composition and stability, the WAVE Low and High Range Mutation Standards are employed to ensure reproducibility and accuracy of the chromatographic analysis. The purpose of this study was to provi...
متن کاملSlicing from Formal Semantics: Chisel
We describe Chisel—a tool that synthesizes a program slicer directly from a given algebraic specification of a programming language operational semantics. This semantics is assumed to be a rewriting logic specification, given in Maude, while the program is a ground term of this specification. We present the tool on two types of language paradigms: high-level, imperative and low-level assembly l...
متن کاملLearning Fuzzy Network Using Sequence Bound Global Particle Swarm Optimizer
This paper proposes an algorithm for classification by learning fuzzy network with a sequence bound global particle swarm optimizer. The aim of this work can be achieved in two folded. Fold one provides an explicit mapping of an input features from original domain to fuzzy domain with a multiple fuzzy sets and the second fold discusses the novel sequence bound global particle swarm optimizer fo...
متن کاملFormalizing Chisel Specifications
Graphical description techniques are especially useful in the early development phases like requirements engineering. There, often a trail-and-error approach is applied to develop a first system specification. However, even there a precise meaning of those description techniques is necessary, especially in trial-anderror phases based on a service-oriented description of the requirements to chec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bioinformatics
سال: 2020
ISSN: 1367-4803,1460-2059
DOI: 10.1093/bioinformatics/btaa558